OCP: a distributed real time commit protocol

نویسندگان

  • Udai Shanker
  • Manoj Misra
  • Anil Kumar Sarje
چکیده

Most of the existing commit protocols try to improve the system performance by allowing a committing cohort to lend its data to an executing cohort, thus reducing data inaccessibility. However, these protocols block the borrower when it tries to send WORKDONE/PREPARED message (Qin & Liu 2003, Haritsa, Ramamritham & Gupta 2000, Gupta, Haritsa, Ramamritham & Seshadri 1996, Gupta, Haritsa, & Ramamritham 1997), thus increasing the transactions commit time. This paper first analyzes all kind of dependencies that may arise due to data access conflicts in executing-committing transaction when a committing cohort is allowed to lend its data to an executing cohort, and then proposes a static two phase locking based optimistic commit protocol i.e. OCP. In OCP, the execution phase of a cohort is divided into two parts locking phase and processing phase and then, in place of WORKDONE message, WORKSTARTED message is sent just before the start of processing phase of the cohort. Again, in case of dependency, borrower with only commit dependency is allowed to send WORKSTARTED message instead of being blocked. This reduces the time needed for commit processing and is free from cascaded aborts. To ensure non-violation of ACID properties, checking of completion of processing and removal of dependency of cohort are required before sending the Yes-Vote message. The performance of the OCP is also analyzed for partial read-only optimization. .

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Adaptable, Efficient, and Modular Coordination of Distributed Extended Transactions

We describe a method for building a variety of coordination protocols as well as distributed extended transaction primitives. The method is called Open Coordination Protocol (OCP), and we apply OCP to construct many variants of Commit_Transaction [15, 13, 22, 12], as well as distributed Split_Transaction [18] and distributed Join_Group [14, 20]. OCP adopts a modular decomposition of popular coo...

متن کامل

Commit Processing in Distributed Real-Time Database Systems - Real-Time Systems Symposium, 1996., 17th IEEE

W e investigate here the performance implications of supporting transaction atomicity in a distributed realtime database system. Using a detailed simulation model of a firm-deadline distributed real-time database sgstem, we profile the real-time performance of a representative set of commit protocols. A new commit protocol that i s designed for the real-time domain and allows transactions to “o...

متن کامل

Commit processing in distributed real-time database systems

Incorporating distributed data into the real-time framework incurs the well-known additional complexities that are associated with transaction concurrency control and database recovery in distributed database systems. We investigate here the performance implications of supporting transaction atomicity in a distributed real-time database system. Using a detailed simulation model of a rm-deadline...

متن کامل

Enhancer- A Time Commit Protocol

This paper contains content with the investigating the performance implications of providing transaction atomicity for a deadline real time applications operating on distributed data. Considering all the commit protocols and discussing all phases of the commit protocols and examine their working model over different aspects of distributed database. Implementing distributed real time database sy...

متن کامل

ar X iv : 1 20 1 . 34 16 v 1 [ cs . S E ] 1 7 Ja n 20 12 Verifying Real - time Commit Protocols Using Dense - time Model Checking Technology ⋆

The timed-based automata model, introduced by Alur and Dill, provides a useful formalism for describing real-time systems. Over the last two decades, several dense-time model checking tools have been developed based on that model. The paper considers the verification of real-time distributed commit protocols using dense-time model checking technology. More precisely, we model and verify the wel...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2006